Tsay, Yih-Kuen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - General decidability theorems for infinite-state systems

Abdulla, P.A., Cerans, K., Jonsson, B., Yih-Kuen Tsay,

Year:

1996

Language:

english

File:

PDF, 920 KB

english, 1996

2

PREFACE

PELED, DORON A., TSAY, YIH-KUEN

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 161 KB

english, 2007

3

Algorithmic Analysis of Programs with Well Quasi-ordered Domains

Parosh Aziz Abdulla, Kārlis Čerāns, Bengt Jonsson, Yih-Kuen Tsay

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 180 KB

english, 2000

4

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 3707 || An EFSM-Based Intrusion Detection System for Ad Hoc Networks

Peled, Doron A., Tsay, Yih-Kuen

Year:

2005

Language:

english

File:

PDF, 390 KB

english, 2005

5

Deducing fairness properties in UNITY logic---a new completeness result

Tsay, Yih-Kuen, Bagrodia, Rajive L.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1995

Language:

english

File:

PDF, 705 KB

english, 1995

6

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Automatic numeric abstractions for heap-manipulating programs

Magill, Stephen, Tsai, Ming-Hsien, Lee, Peter, Tsay, Yih-Kuen

Year:

2010

Language:

english

File:

PDF, 553 KB

english, 2010

7

Assumption/guarantee specifications in linear-time temporal logic

Bengt Jonsson, Tsay Yih-Kuen

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.90 MB

english, 1996

8

Tool support for learning Büchi automata and linear temporal logic

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang

Journal:

Formal Aspects of Computing

Year:

2009

Language:

english

File:

PDF, 853 KB

english, 2009

9

Automatic numeric abstractions for heap-manipulating programs

Magill, Stephen, Tsai, Ming-Hsien, Lee, Peter, Tsay, Yih-Kuen

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 553 KB

english, 2010

10

Büchi Store: an open repository of(omega )-automata

Yih-Kuen Tsay,Ming-Hsien Tsai…

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 816 KB

english, 2013

11

Some impossibility results in interprocess synchronization

Yih-Kuen Tsay, Rajive L. Bagrodia

Journal:

Distributed Computing

Year:

1993

Language:

english

File:

PDF, 1.33 MB

english, 1993

12

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 3707 || Introducing Dynamic Properties with Past Temporal Operators in the B Refinement

Peled, Doron A., Tsay, Yih-Kuen

Year:

2005

Language:

english

File:

PDF, 302 KB

english, 2005

13

AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES

TSAY, YIH-KUEN, WANG, BOW-YAW

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 231 KB

english, 2009

14

Fault-tolerant algorithms for fair interprocess synchronization

Yih-Kuen Tsay,, Bagrodia, R.L.

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

1994

Language:

english

File:

PDF, 1.37 MB

english, 1994

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски